Équations de Monge—Ampère réelles
نویسندگان
چکیده
منابع مشابه
Réécriture de programmes C--en équations logiques
RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...
متن کاملSimulation de traces réelles d'E/S disque de PC
Sous Windows, les outils de benchmarking des Entrées/Sorties (E/S) existants ne suffisent pas pour permettre à un développeur de définir efficacement sa stratégie d'accès aux fichiers d'après un ensemble de contraintes d'application. Ceci est essentiellement dû au fait que ces outils ne permettent de tester qu'un ensemble réduit de charges d'E/S qui ne correspondent généralement pas à ceux de l...
متن کاملStructuration de données spatio-temporelles temps-réelles : vers la gestion de la saturation de base de données
The spatio-temporal databases in the monitoring systems of natural phenomena must be able to meet real-time requirements due to the semi-generalized use of sensor networks. The indexing method of the in-memory base must take into account several characteristics: primacy of the most recent data and updates queries, spatial positioning of the sensors, heavy charge load... Our first proposals, the...
متن کاملÉquations Aux Dérivées Partielles
Nous avons proposé dans Carlier et al. (ESAIM Proceedings, CEMRACS 1999) un algorithme permettant d’approximer la projection d’une fonction f ∈H 1 0 (Ω) (où Ω est un domaine convexe) sur le cône des fonctions convexes. Cet algorithme est basé sur une expression duale de la contrainte de convexité, qui conduit à un problème de point-selle qui n’a pas de solution en général. Nous montrons ici que...
متن کاملdu cours d ' Équations aux
Les paragraphes commençant par une étoile * sont hors-programme. Ils sont donnés comme compléments pouvant être utiles lors de projets, de stages ou dans le but de préparer un DEA de mathématiques appliquées.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Analysis
سال: 1981
ISSN: 0022-1236
DOI: 10.1016/0022-1236(81)90081-1